(echo_area_display): If cursor is in the echo area, make

sure that the next redisplay displays the minibuffer, so that
the cursor will be replaced with what the minibuffer wants.

diff --git a/src/xdisp.c b/src/xdisp.c
index 15e52cde5aa26feb5333c42ffa6ebb4d5ebe83e1..0ea22b6387e29fde48d9ca60163ba0747fa0c0fe 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -6631,6 +6631,12 @@ echo_area_display (update_frame_p)
            }
          else
            update_frame (f, 1, 1);
+
+         /* If cursor is in the echo area, make sure that the next
+            redisplay displays the minibuffer, so that the cursor will
+            be replaced with what the minibuffer wants.  */
+         if (cursor_in_echo_area)
+           ++windows_or_buffers_changed;
        }
     }
   else if (!EQ (mini_window, selected_window))